An Introduction to Deductive Logic.
نویسندگان
چکیده
منابع مشابه
An Introduction to Array Logic
After a discussion of the reasons for choosing to implement logic in array form. a detailed description of the nature of array logic is given. Topics specifically discussed include general array structures and implementation, influence of decoder partitioning, design of logic arrays, output phase, “split” variables, feedback in logic arrays, and reconfiguration. Introduction Although there will...
متن کاملAn introduction to partition logic
Classical logic is usually interpreted as the logic of propositions. But from Boole’s original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given (non-empty) universe set. Partitions on a universe set are dual to subsets of a universe set in the sense of the reverse-the-arrows category-theoreti...
متن کاملAn Introduction to Description Logic
Abnormal, 143 Abnormality degree, 144 ABox, 19 simple, 175 Absorption, 102 Abstract feature, 134, 229 AL, 232 ALC, 10, 107, 117, 232 ALCEU , 232 ALCI, 39, 90 ALCO, 41 ALCOI, 123 ALCQ, 40 ALCOIQ, 125 ALEU , 233 And-branching, 101 Annotation, 221 property, 221 Anonymous individual, 219 ans(q, I), 170 Answer, 173 to conjunctive query, 170 to Datalog program, 194 Assertion concept, 19 negated role,...
متن کاملترجمه و تحقیق کتاب an introduction to the history of mysticism
پایان نامه ی ارائه شده ترجمه ی کتاب «an introduction to the history of mysticism» نوشته ی مارگارت اسمیت که وی پژوهشگر، خاورشناس و محقق برجسته ی تصوف و عرفان می باشد. موضوع اساسی و مهم این کتاب عرفان در ادیان مختلف است. نویسنده در ابتدا این کلمه را ریشه یابی کرده و سپس تعریفی از آن ارائه داده و آن را در ادیان مختلف مورد بحث قرار داده است و در هر فصل کتاب به معرفی عرفای آن دین یا عصر خاصی پرداخته...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Philosophy
سال: 1955
ISSN: 0022-362X
DOI: 10.2307/2022700